fix no sound on Linux